Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
โœ…Type Checking
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ“‹Template Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿ”’Rust Borrowing
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐Ÿ“‹Template Compilers
Flag this post
Turbocharge Your AI: A Smarter Way to Explore Decision Trees
dev.toยท19hยท
Discuss: DEV
๐ŸšถTree-walking
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ‘‘Dependent Haskell
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ“ฆDependency Analysis
Flag this post
My Wishlist for PHP in 2026
stitcher.ioยท1dยท
Discuss: Hacker News
๐Ÿ“šForth Compilers
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.orgยท16h
๐Ÿง Memory Ordering
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.toยท21hยท
Discuss: DEV
๐ŸŽฏPattern Matching
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ“šStack Allocation
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Show HN: sjl โ€“ Simple JSON Logger for Rust
github.comยท17hยท
Discuss: Hacker News
โš™๏ธConfiguration Parsing
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท15hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.comยท10h
๐ŸŽญErlang OTP
Flag this post
Just released @leglaine/node-types โ€“ A lightweight, flexible type-checking library for Node.js
reddit.comยท2dยท
Discuss: r/node
โœ…Type Checking
Flag this post
๐ŸŽฒ On LLMs
kaukas.mataroa.blogยท11h
๐ŸŽฎLanguage Ergonomics
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post